O-Heterocyclic Embeurekols fromEmbellisia eureka, an Endophyte ofCladanthus arabicus

O,S-Heterocyclic stannylenes: synthesis and reactivity.

Commercially available N-oxide (2-mercaptopyridine-N-oxide) is used as a ligand instead of an oxidizing agent to stabilize the compounds of main group elements in low-valent states. The isolated compounds [(C5H4NOS)2Sn (), (C5H4NOS)SnCl () and (C5H4NOS)GeCl ()] are the first structurally characterized examples of O,S-heterocyclic stannylenes and germylenes with interesting bonding features. Fur...

Eureka moments.

Winter 2004 A ll truths are easy to understand once they are discovered,” wrote astronomer Galileo Galilei. “The point is to discover them.” The 17th-century Italian is best known as the inventor of the telescope, but if he’d been drawn to the life sciences instead of the physical sciences, he might have conceived of the microscope. As it was, the idea of using lenses to see tiny rather than fa...

Directions to "eureka!".

Synthesis of amino tetrahydrofuran lignan via an N,O-heterocyclic compound as an intermediate.

Tetrahydrofuran aminolignans bearing an amino group at the 8 position were synthesized via an N,O-heterocyclic compound that had been obtained by silylnitronate cycloaddition.

Eureka-2008 SAT Solver

We describe the SAT solver Eureka. Eureka is a state-of-the-art SAT solver, used in various Formal Verification flows at Intel. Eureka is based upon backtrack search DLL algorithm, enhanced by failure-driven assertion loop; nonstandard conflict analyses; restart and clause deletion strategies; CBH decision heuristic and decision stack shrinking.